< -package:ghc-lib-parser package:natural-arithmetic

Proof that the first argument is strictly less than the second argument.
Infix synonym of testLessThanEqual.
Infix synonym of testLessThan.
Proof that the first argument is less than or equal to the second argument.